61. A formalization of set theory without variables
پدیدآورنده : Tarski, Alfred
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
T37
62. A formalization of set theory without variables /
پدیدآورنده : by Alfred Tarski and Steven Givant.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Set theory.,Logic, Symbolic and mathematical.,Ensembles, Théorie des.,Logique symbolique et mathématique.,Axiomatische Mengenlehre,Axiomatische Mengenlehre.,Logic, Symbolic and mathematical.,Mathematische Logik,Mathematische Logik.,Mengenlehre,Mengenlehre.,Set theory.,Teoria Dos Conjuntos.,Verzamelingen (wiskunde)
رده :
QA248
.
T37
1987
63. A framework for priority arguments
پدیدآورنده : Lerman, Manuel, 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Proof theory,، Priority )Philosophy(,، Logic, Symbolic and mathematical
رده :
QA
9
.
A1L44
Vol
.
34
64. A friendly introduction to mathematical logic
پدیدآورنده : / Christopher C. Leary
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : م‍ن‍طق ک‍ام‍پ‍ی‍وت‍ری,Logic, Symbolic and mathematical
رده :
QA
۷۶
/
۹
/
م
۸
ل
۹ ۱۳۷۹
65. A friendly introduction to mathematical logic
پدیدآورنده : Leary, Christopher C.
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Computer logic,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
L43
2000
66. A friendly introduction to mathematical logic /
پدیدآورنده : Christopher C. Leary
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic,Logic, Symbolic and mathematical
رده :
QA76
.
9
.
L63
L43
2000
67. A hierarchy of Turing degrees :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Unsolvability (Mathematical logic) ; Computable functions. ; Recursively enumerable sets. ;
68. A logical introduction to proof
پدیدآورنده : Daniel W. Cunningham
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
C86
2012eb
69. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B
موضوع : ، Logic, Symbolic and mathematical
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
70. <A> mathematical introduction to logic
پدیدآورنده : ]by[ Herbert B. Enderton
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Logic, Symbolic and mathematical
رده :
QA
9
.
E54
1972
71. <A> mathematical introduction to logic
پدیدآورنده : ]by[ Herbert B. Enderton
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Logic, Symbolic and mathematical
رده :
QA
9
.
E54
1972
72. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E59
2001
73. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E59
74. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E54
2001
75. A mathematical introduction to logic
پدیدآورنده : / Herbert B. Enderton
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
E54
2001
76. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Logic,Symbolic and mathematical
رده :
QA
9
.
E54
77. A mathematical introduction to logic
پدیدآورنده : / Herbert B. Enderton
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical
رده :
E-BOOK
78. A mathematical introduction to logic
پدیدآورنده : Enderton, Herbert B.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
E5
79. A mathematical introduction to logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Logic, Symbolic and mathematical. ;
80. A primer of formal logic
پدیدآورنده : By John C. Cooley
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Logic.,Logic, Symbolic and mathematical.,Mathematics - philosophy
